退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有过去和界限的线性时间时间逻辑的高效并行路径检查
Lars Kuhtz; Bernd Finkbeiner;
机译:具有过去和界限的线性时间时序逻辑的高效并行路径检查
机译:有界线性时间时态逻辑:一个证明理论研究
机译:线性时态逻辑的有界模型检验用于容错可逆电路的新综合方法
机译:加权解释系统和线性线性时序逻辑的基于SAT的边界模型检查
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:线性时间时序逻辑的高效并行路径检测 过去和界限
机译:模型检查是精细化:关于步比测试和线性时间时序逻辑
机译:并行传输路径状态检查装置,图像处理器,并行传输路径状态检查方法,以及并行传输路径状态检查程序
机译:在分布式框架上使用隧道并行化有界模型检查
机译:在分布式框架上使用隧道进行有边界的模型检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。